(0 8 7)(1 13 3)(2 11 4)(5 10 6 12 9)
ALLOWS (11/8)-SEQUENCE
1: (0 1 7)

(0)(1 8 7 13 3)(2 11 4)(5 10 6 12 9)
2: (3 7 13)

(0)(1 8 7)(2 11 4)(3)(5 10 6 12 9)(13)
3: (2 11 4)

(0)(1 8 7)(2)(3)(4)(5 10 6 12 9)(11)(13)
4: (5 12 9)

(0)(1 8 7)(2)(3)(4)(5)(6 12 10)(9)(11)(13)